Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
951	2. THE NEED FOR AN ARCHIVED DATA USER SERVICE 2.1 Overview The planning, operation, and evaluation of transportation systems have always necessitated data in many forms. In recent years, formal requirements (e.g., air q Add to Reading List Source URL: www.fhwa.dot.gov Language: English - Date: 1998-04-09 13:06:26 Transportation planning Mathematical physics Transport engineering Traffic congestion Traffic flow Annual average daily traffic Traffic simulation Surveillance Traffic Transport Land transport Road transport
952	New URL: http://www.R-project.org/conferences/DSC[removed]DSC 2001 Proceedings of the 2nd International Workshop on Distributed Statistical Computing March 15-17, Vienna, Austria http://www.ci.tuwien.ac.at/Conferences/DSC Add to Reading List Source URL: www.r-project.org Language: English - Date: 2014-02-10 03:24:16 Data management Data analysis Formal sciences Database management systems Database theory Mondrian Data mining Plot Chart Statistics Science Infographics
953	FAQ’s About Conduct Regulation 10.1* Office of Student Conduct at the University of Georgia Why am I here? The Office of Student Condcut has received a formal complaint from Enterprise Information Technology Systems (E Add to Reading List Source URL: conduct.uga.edu Language: English - Date: 2011-09-14 13:56:11 Computing Data BitTorrent File sharing Peer-to-peer Copyright infringement Copyright Legal aspects of file sharing Intellectual property law File sharing networks Law
954	Microsoft Word - Pawan_Kumar_Abstract_MSc_Thesis_2012 Add to Reading List Source URL: etd.ncsi.iisc.ernet.in Language: English - Date: 2014-06-03 01:23:39 System software Formal languages Pattern matching Intrusion detection systems Regular expressions Snort Network intrusion detection system TRE String Computing Software Computer network security
955	INTERNATIONAL ORGANISATION FOR STANDARDISATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC 1 Study Group on Big Data (SGBD) ISO/IEC JTC 1 SGBD N0079 Telecon #1 – July 2014 Add to Reading List Source URL: jtc1bigdatasg.nist.gov Language: English - Date: 2014-07-23 22:53:34 Formal sciences Database management systems Database theory Transaction processing ISO JTC 1/SC 27 Big data Data mining ISO/IEC JTC1 Metadata Data management Information Data
956	Research Statement Junfeng Yang My goal is to make software systems reliable and secure. Today’s software systems are large, complex, and plagued with errors, some of which have caused critical system failures. My res Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2012-02-15 11:46:47 Software bugs Software testing Concurrent computing Systems engineering Model checking Thread Operating system Formal methods Debugging Computing Computer programming Software engineering
957	INCITS Big Data Ad Hoc BD[removed]ISO/IEC JTC1/SGBD N Date: July 16, 2014 Add to Reading List Source URL: jtc1bigdatasg.nist.gov Language: English - Date: 2014-07-17 09:13:34 Emerging technologies Formal sciences Database management systems Database theory Metadata Big data C Technology Data management Data
958	INTERNATIONAL ORGANISATION FOR STANDARDISATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC 1 Sutdy Group on Big Data (SGBD) ISO/IEC JTC 1 SGBD N0014 San Diego, US – March 2014 Add to Reading List Source URL: jtc1bigdatasg.nist.gov Language: English - Date: 2014-04-24 16:30:32 Formal sciences Database management systems Database theory Markup languages ISO JTC 1/SC 27 SQL ISO/IEC JTC1 Data quality Big data Computing Data management Technology
959	Project Startup Report Presented to the IT Committee Q2, 2008 Project Name: Front End Agency: Department of Human Services (DHS) Business Unit/Program Area: Children and Family Services (CFS) Project Sponsors: Pam Anders Add to Reading List Source URL: www.nd.gov Language: English - Date: 2010-12-30 15:23:58 Software development Science Acceptance testing Project management Software development process Systems engineering process Systems science Software testing Systems engineering Formal methods
960	Harnessing Big Data and Models to Solve User Geospatial Problems and Challenges Using IDEAS (Intelligent Data Exploration and Analytics System) Authors : Dr. Chuck Samuels, Mr. John Kelley, Dr. Shawana Johnson Connects Add to Reading List Source URL: calval.cr.usgs.gov Language: English - Date: 2013-05-08 14:28:53 Geographic information system Analytics Science Statistics Business Geographic information systems in geospatial intelligence Vector graphics LizardTech Business intelligence Formal sciences Cartography

UPDATE